LNCS1601

LNCS1601
-J.-P. Katön (Ed.): Formal Methods for Real-Time and Probabilistic Systems. Proceedings, Springer-Verlag 1999

Acronyms von A bis Z. 2013.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • LNCS1601 — J. P. Katön (Ed.): Formal Methods for Real Time and Probabilistic Systems. Proceedings, Springer Verlag 1999 …   Acronyms

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”